Intuitionistic Mathematics and Realizability in the Physical World

نویسنده

  • Andrej Bauer
چکیده

Intuitionistic mathematics perceives subtle variations in meaning where classical mathematics asserts equivalence, and permits geometrically and computationally motivated axioms that classical mathematics prohibits. It is therefore wellsuited as a logical foundation on which questions about computability in the real world are studied. The realizability interpretation explains the computational content of intuitionistic mathematics, and relates it to classical models of computation, as well as to more speculative ones that push the laws of physics to their limits. Through the realizability interpretation Brouwerian continuity principles and Markovian computability axioms become statements about the computational nature of the physical world. 1 Intuitionistic understanding of truth Constructive mathematics, whose main proponent was Erret Bishop,1 lives at the fringe of mainstream mathematics. It is largely misunderstood by mathematicians, and consequently by physicists as well. Contrary to the popular opinion, constructive mathematics is not poorer but richer in possibilities of mathematical expression than its classical counterpart. It differentiates meaning where classical mathematics asserts equivalence and thrives on geometric and computational intuitions that are banned by the classical doctrine. In this contribution I explore what constructive mathematics and the related realizability interpretation of intuitionistic logic have to offer to those who are interested in real-world computation. If classical and constructive mathematicians just disagreed about what was true, the matter would be resolved easily. Unfortunately they use the same words to mean two different things, which is always an excellent source of confusion. The origin of the schism lies in the criteria for truth, i.e., in what makes a statement true. Speaking vaguely, intuitionistic logic demands positive evidence of truth, while classical logic is 1Bishop’s constructivism is compatible with respect to classical mathematics, and should not be confused with the intuitionism of L.E.J. Brouwer, which assumes principles that are classically false.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

m-polar intuitionistic graphs and its properties

In many real world problems, data sometimes comes from n agents (n≥2), multipolar information exists. For issues that are associated with uncertainty, this information can not be showed with the values of crisp, fuzzy, intuitionistic or bipolar. Graph is one of the mathematical models widely used in different sciences. Ambiguity in a graph where data depends on the n parameter can not be showed...

متن کامل

Decision making in medical investigations using new divergence measures for intuitionistic fuzzy sets

In recent times, intuitionistic fuzzy sets introduced by Atanassov has been one of the most powerful and flexible approaches for dealing with complex and uncertain situations of real world. In particular, the concept of divergence between intuitionistic fuzzy sets is important since it has applications in various areas such as image segmentation, decision making, medical diagnosis, pattern reco...

متن کامل

Extracting Algorithms from Intuitionistic Proofs

This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of arithmetic. The new method hinges on a realizability argument within an infinitary language. We illustrate the method for the intuitionistic counterpart of Buss’s theory S 2 , and we briefly sketch it for the other levels...

متن کامل

On Fuzzy $e$-open Sets, Fuzzy $e$-continuity and Fuzzy $e$-compactness in Intuitionistic Fuzzy Topological Spaces

The purpose of this paper is to introduce and study the concepts of fuzzy $e$-open set, fuzzy $e$-continuity and fuzzy $e$-compactness in intuitionistic fuzzy topological spaces. After giving the fundamental concepts of intuitionistic fuzzy sets and intuitionistic fuzzy topological spaces, we present intuitionistic fuzzy $e$-open sets and intuitionistic fuzzy $e$-continuity and other results re...

متن کامل

A new approach to rank the decision making units in presence of infeasibility in intuitionistic fuzzy environment

Data envelopment analysis (DEA) is a linear programming based methodology to determine the relative performance efficiencies of homogeneous decision making units (DMUs). In real world applications, some input and output datas do not possess crisp/fuzzy essence but they possess intuitionistic fuzzy (IF) essence. So, in this study, we develop an IF BCC (IFBCC) and an IF super efficiency BCC (IFSE...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014